منابع مشابه
Tense Operators on MV-Algebras and Lukasiewicz-Moisil Algebras
We introduce the tense LMn-algebras and the tense MV algebras as algebraic structures for some tense many-valued logics. A representation theorem for tense LMn-algebras is proved and the polynomially equivalence between tense LM3-algebras (resp. tense LM4-algebras) and tense MV3-algebras (resp. tense MV4-algebras) is established. We study the pairs of dually-conjugated operations on MV -algebra...
متن کاملAlgebras of modal operators and partial correctness
Modal Kleene algebras are Kleene algebras enriched by forward and backward box and diamond operators. We formalise the symmetries of these operators as Galois connections, complemetarities and dualities. We study their properties in the associated operator algebras and show that the axioms of relation algebra are theorems at the operator level. Modal Kleene algebras provide a unifying semantics...
متن کاملModal Operators on Compact Regular Frames and de Vries Algebras
In [7] we introduced the category MKHaus of modal compact Hausdorff spaces, and showed these were concrete realizations of coalgebras for the Vietoris functor on compact Hausdorff spaces, much as modal spaces are coalgebras for the Vietoris functor on Stone spaces. Also in [7] we introduced the categories MKRFrm and MDV of modal compact regular frames, and modal de Vries algebras as algebraic c...
متن کاملMV* - Algebras
In this paper we make an algebraic study of the variety of M V * –algebras introduced by C. C.Chang as an algebraic counterpart for a logic with positive and negative truth values. We build the algebraic theory of M V * –algebras within its own limits using a concept of ideal and of prime ideal that are very naturally related to the corresponding concepts in –groups. The main results are a subd...
متن کاملOuter Measure on MV-algebras
In this paper we study an outer measure on MV -algebras. In Section 1 the definition of MV -algebra and Mundici theorem are remind. In Section 2 there is defined an outer measure, measurable elements and there is proved Choquet lema for this structure. In conclusion some properties of measurable elements are resumed.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematica Bohemica
سال: 2006
ISSN: 0862-7959,2464-7136
DOI: 10.21136/mb.2006.134083